241. Reversible computation :
پدیدآورنده : Michael Kirkedal Thomsen, Mathias Soeken (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Reversible computing, Congresses.,Computer logic.,Computer science-- Mathematics.,Reversible computing.
رده :
QA76
.
9
.
R48
242. Reversible computation :
پدیدآورنده : Robert Glück, Tetsuo Yokoyama (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer logic -- Congresses.,Computer science -- Mathematics -- Congresses.,Reversible computing -- Congresses.
رده :
QA76
.
9
.
L63
R634
2013
243. Selected topics in discrete mathematics: Proceeding of the Moscow Discrete Mathematics Seminar, 1972 - 1990
پدیدآورنده : edited by A. K. Kelmans
کتابخانه: Central Library and Information Center of Birjand University (South Khorasan)
موضوع : ، Mathematics - Congresses,، Computer science - Mathematics - congresses
رده :
QA
3
.
A4
S44
1994
244. Semantics and algebraic specification
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Mosses, Peter. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Algebraische Spezifikation ; Aufsatzsammlung. ; Formale Methode ; Aufsatzsammlung. ; Programmiersprache ; Semantik ; A
245. Stochastic algorithms :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Algorithms ; Congresses ; Stochastic approximation ; Congresses ; Computer science ; Mathematics ; Congresses ;
246. Stochastic algorithms
پدیدآورنده : Oleg B. Lupanov ... ]et al.[ )eds.(,Title
کتابخانه: (Mazandaran)
موضوع : Algorithms, Congresses,Stochastic approximation, Congresses,Computer science, Mathematics, Congresses
رده :
QA
.
S24
9
.
58
2005
247. Stochastic algorithms
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Algorithms ; Congresses. ; Stochastic approximation ; Congresses. ; Computer science ; Mathematics ; Congresses. ;
248. Stochastic algorithms: foundations and applications
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Algorithms,Congresses ، Stochastic approximation,Congresses ، Computer science-- Mathematics
رده :
QA
9
.
58
.
S24
2005
249. Stochastic algorithms : foundations and applications : second international symposium, SAGA 2003, Hatfield, UK, September 22-23, 2003 : proceedings
پدیدآورنده : Andreas Albrecht, Kathleen Steinhofel )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Algorithms,Congresses ، Stochastic approximation,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
2827
250. Stochastic algorithms : foundations and applications : third International Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005 : proceedings
پدیدآورنده : Oleg B. Lupanov...]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Algorithms,Congresses ، Stochastic approximation,Congresses ، Computer science -- Mathematics
رده :
QA
76
.
L28
Vol
.
3777
251. Stochastic algorithms: foundations and applications: third international Symposium, SAGA 2005, Moscow, Russia, October 20-22, 2005: proceedings
پدیدآورنده : SAGA 5002 )5002: Moscow, Russia(
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : Congresses ، Algorithms,Congresses ، Stochastic approximation,Congresses ، Computer science -- Mathematics
رده :
QA
9
.
58
.
S24
2005
252. Symbolic computation : applications to scientific computing
پدیدآورنده : edited by Robert Grossman
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Data processing -- Congresses ، Engineering mathematics,Congresses ، Object-oriented programming )Computer science(
رده :
TA
331
.
S95
1989
253. The influence of computing on mathematical research and education
پدیدآورنده : edited by Joseph P. Lasalle
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer science -- Mathematics,، Mathematics -- Research,Study and teaching -- Congresses ، Mathematics
رده :
QA
1
.
P69
Vol
.
20
254. The joint conference of ASCM 2009 and MACIS 2009 : Asian symposium on computer mathematics, mathematical aspects of computer and information sciences
پدیدآورنده : editors : Masakazu Suzuki....]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer science -- Mathematics,Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Number theory
رده :
QA
76
.
9
.
M35A88
2009
255. The mathematical revolution inspired by computing: based on the proceedings of a conference on the mathematical revolution inspired by computing, organized by the Institute of Mathematics and Its Applications and held at Brighton Polytechnic in April 1989
پدیدآورنده : J.H. Johnson, M. J. Loomes ]eds.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer science -- Mathematics
رده :
QA
76
.
9
.
M35C65
1989
256. Theoretical and mathematical foundations of computer science :
پدیدآورنده : Qihai Zhou (ed.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics, Congresses.
رده :
QA76
.
9
.
M35
I28
2011
257. Theoretical aspects of computing -- ICTAC 2013 :
پدیدآورنده : Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
258. Theory and Applications of Models of Computation
پدیدآورنده : \ Rahul Jain , Sanjay Jain, Frank Stephan (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science -- Mathematics -- Congresses.,Computational complexity -- Congresses,Turing machines -- Congresses.,علوم کامپیوتر -- ریاضیات -- کنگرهها ,پیچیدگی محاسباتی -- کنگره ها
رده :
QA
76
.
9
.
M35T46
2015
E-Book
,
259. Theory and applications of models of computation :
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Computer science ; Mathematics ; Congresses. ;
260. Theory and applications of models of computation :
پدیدآورنده : Mitsunori Ogihara, Jun Tarui (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computable functions, Congresses,Computational complexity, Congresses,Computer science-- Mathematics, Congresses
رده :
QA76
.
9
.
M35
T36
2011eb